"Laurent Fribourg" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Logic Programming Synthesis and Transformation - Meta-Programming in Logic, 4 conf., LOPSTR'94 and META'94

Laurent Fribourg, Franco Turini

Категория: Cs_Computer science, CsLn_Lecture notes

3.51 Mb

#2

Computer Science Logic, 15 conf., CSL 2001, 10 conf.EACSL

Laurent Fribourg

Категория: Cs_Computer science, CsLn_Lecture notes

3.87 Mb